Preprocessing and Reduction for Degenerate Semidefinite Programs
نویسندگان
چکیده
4 This paper presents a backward stable preprocessing technique for (nearly) ill-posed semidef5 inite programming, SDP, problems, i.e., programs for which Slater’s constraint qualification, 6 existence of strictly feasible points, (nearly) fails. 7 Current popular algorithms for semidefinite programming rely on primal-dual interior-point, 8 p-d i-p methods. These algorithms require Slater’s constraint qualification for both the primal 9 and dual problems. This assumption guarantees the existence of Lagrange multipliers, well10 posedness of the problem, and stability of algorithms. However, there are many instances of 11 SDPs where Slater’s constraint qualification fails or nearly fails. Our backward stable prepro12 cessing technique is based on finding a rank-revealing rotation of the problem followed by facial 13 reduction. This results in a smaller, well-posed, nearby problem that can be solved by standard 14 SDP solvers. 15
منابع مشابه
Preprocessing and Regularization for Degenerate Semidefinite Programs
This paper presents a backward stable preprocessing technique for (nearly) ill-posed semidef5 inite programming, SDP, problems, i.e., programs for which the Slater constraint qualification, 6 existence of strictly feasible points, (nearly) fails. 7 Current popular algorithms for semidefinite programming rely on primal-dual interior-point, 8 p-d i-p methods. These algorithms require the Slater c...
متن کاملPreprocessing sparse semidefinite programs via matrix completion
Considering that preprocessing is an important phase in linear programming, it should be systematically more incorporated in semidefinite programming solvers. The conversion method proposed by the authors (SIAM Journal on Optimization, vol. 11, pp. 647–674, 2000, and Mathematical Programming, Series B, vol. 95, pp. 303–327, 2003) is a preprocessing of sparse semidefinite programs based on matri...
متن کاملFatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities
In order to verify programs or hybrid systems, one often needs to prove that certain formulas are unsatisfiable. In this paper, we consider conjunctions of polynomial inequalities over the reals. Classical algorithms for deciding these not only have high complexity, but also provide no simple proof of unsatisfiability. Recently, a reduction of this problem to semidefinite programming and numeri...
متن کاملApproximating Semidefinite Packing Programs
In this paper we define semidefinite packing programs and describe an algorithm to approximately solve these problems. Semidefinite packing programs arise in many applications such as semidefinite programming relaxations for combinatorial optimization problems, sparse principal component analysis, and sparse variance unfolding techniques for dimension reduction. Our algorithm exploits the struc...
متن کاملChapter 15: Data Preprocessing
Data preprocessing converts raw data and signals into data representation suitable for application through a sequence of operations. The objectives of data preprocessing include size reduction of the input space, smoother relationships, data normalization, noise reduction, and feature extraction. Several data preprocessing algorithms, such as data values averaging, input space reduction, and da...
متن کامل